home *** CD-ROM | disk | FTP | other *** search
/ New Perspectives on Computer Concepts / New Perspectives on Computer Concepts.iso / np2010c / F1246.ECS < prev    next >
Text File  |  2008-11-19  |  18KB  |  536 lines
  1. |COPYRIGHT 2006 BY MEDIATECHNICS CORPORATION|HEADER|3|Prolog Queries|0|F1246.FLC|0|0|0|0|0|0|
  2. |***|
  3. |1|1|1|1|0|0|
  4. |OPEN1.MID||0|0|1||0|
  5. ||0|0|0|0|F1246.BMP|5900|6475|4|1|
  6. |1|0|0|0|0|1|1|0|0|0|0|1|1|0|0|0|0|1|1|0|0|0|0|1|0|0|0|0|
  7. |0|0|1|0|0|1|0|0|1|0|0|1|
  8. |***|
  9. |2|1|1|1|0|0|
  10. |||0|0|0||1|
  11. ||10|10|10|10||0|0|0|0|
  12. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  13. |0|0|1|0|0|1|0|0|1|0|0|1|
  14. |***|
  15. |3|1|1|35|0|0|
  16. |F124601.WAV||0|0|1||1|
  17. |You can use Prolog to enter goals pertaining to a set of facts and rules.  For example, suppose you have a set of facts stored about pizza prices in a knowledge base called pizza.txt.|2925|3375|1590|2895||5715|6305|0|0|
  18. |1|6780|4605|15|15|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  19. |0|0|1|0|0|1|0|0|1|0|0|1|
  20. |***|
  21. |4|1|1|25|0|0|
  22. |F124602.WAV||0|0|1||1|
  23. |Before entering your first goal you must indicate the name of the file that holds the relevant facts and rules.|2925|3375|1065|2895||5715|6305|0|0|
  24. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  25. |0|0|1|0|0|1|0|0|1|0|0|1|
  26. |***|
  27. |5|1|1|1|0|0|
  28. |||0|0|0||1|
  29. ||10|10|10|10||5715|6305|0|0|
  30. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  31. |0|0|1|0|0|1|0|0|1|0|0|1|
  32. |***|
  33. |6|2|1|1|0|0|
  34. |||0|0|0||1|
  35. ||10|10|10|10||0|0|0|0|
  36. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  37. |0|0|1|0|0|1|0|0|1|0|0|1|
  38. |***|
  39. |7|3|1|1|0|0|
  40. |||0|0|0||1|
  41. ||10|10|10|10||0|0|0|0|
  42. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  43. |0|0|1|0|0|1|0|0|1|0|0|1|
  44. |***|
  45. |8|4|1|1|0|0|
  46. |||0|0|0||1|
  47. ||10|10|10|10||0|0|0|0|
  48. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  49. |0|0|1|0|0|1|0|0|1|0|0|1|
  50. |***|
  51. |9|5|1|1|0|0|
  52. |||0|0|0||1|
  53. ||10|10|10|10||0|0|0|0|
  54. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  55. |0|0|1|0|0|1|0|0|1|0|0|1|
  56. |***|
  57. |10|6|1|1|0|0|
  58. |||0|0|0||1|
  59. ||10|10|10|10||0|0|0|0|
  60. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  61. |0|0|1|0|0|1|0|0|1|0|0|1|
  62. |***|
  63. |11|7|1|1|0|0|
  64. |||0|0|0||1|
  65. ||10|10|10|10||0|0|0|0|
  66. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  67. |0|0|1|0|0|1|0|0|1|0|0|1|
  68. |***|
  69. |12|8|1|1|0|0|
  70. |||0|0|0||1|
  71. ||10|10|10|10||0|0|0|0|
  72. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  73. |0|0|1|0|0|1|0|0|1|0|0|1|
  74. |***|
  75. |13|9|1|1|0|0|
  76. |||0|0|0||1|
  77. ||10|10|10|10||0|0|0|0|
  78. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  79. |0|0|1|0|0|1|0|0|1|0|0|1|
  80. |***|
  81. |14|10|1|1|0|0|
  82. |||0|0|0||1|
  83. ||10|10|10|10||0|0|0|0|
  84. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  85. |0|0|1|0|0|1|0|0|1|0|0|1|
  86. |***|
  87. |15|11|1|1|0|0|
  88. |||0|0|0||1|
  89. ||10|10|10|10||0|0|0|0|
  90. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  91. |0|0|1|0|0|1|0|0|1|0|0|1|
  92. |***|
  93. |16|12|1|1|0|0|
  94. |||0|0|0||1|
  95. ||10|10|10|10||0|0|0|0|
  96. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  97. |0|0|1|0|0|1|0|0|1|0|0|1|
  98. |***|
  99. |17|13|1|1|0|0|
  100. |||0|0|0||1|
  101. ||10|10|10|10||0|0|0|0|
  102. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  103. |0|0|1|0|0|1|0|0|1|0|0|1|
  104. |***|
  105. |18|14|1|1|0|0|
  106. |||0|0|0||1|
  107. ||10|10|10|10||0|0|0|0|
  108. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  109. |0|0|1|0|0|1|0|0|1|0|0|1|
  110. |***|
  111. |19|15|1|1|0|0|
  112. |||0|0|0||1|
  113. ||10|10|10|10||0|0|0|0|
  114. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  115. |0|0|1|0|0|1|0|0|1|0|0|1|
  116. |***|
  117. |20|16|1|1|0|0|
  118. |||0|0|0||1|
  119. ||10|10|10|10||0|0|0|0|
  120. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  121. |0|0|1|0|0|1|0|0|1|0|0|1|
  122. |***|
  123. |21|17|1|1|0|0|
  124. |||0|0|0||1|
  125. ||10|10|10|10||0|0|0|0|
  126. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  127. |0|0|1|0|0|1|0|0|1|0|0|1|
  128. |***|
  129. |22|18|1|1|0|0|
  130. |||0|0|0||1|
  131. ||10|10|10|10||0|0|0|0|
  132. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  133. |0|0|1|0|0|1|0|0|1|0|0|1|
  134. |***|
  135. |23|19|1|1|0|0|
  136. |||0|0|0||1|
  137. ||10|10|10|10||0|0|0|0|
  138. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  139. |0|0|1|0|0|1|0|0|1|0|0|1|
  140. |***|
  141. |24|20|1|1|0|0|
  142. |||0|0|0||1|
  143. ||10|10|10|10||0|0|0|0|
  144. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  145. |0|0|1|0|0|1|0|0|1|0|0|1|
  146. |***|
  147. |25|21|1|1|0|0|
  148. |||0|0|0||1|
  149. ||10|10|10|10||0|0|0|0|
  150. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  151. |0|0|1|0|0|1|0|0|1|0|0|1|
  152. |***|
  153. |26|22|1|1|0|0|
  154. |||0|0|0||1|
  155. ||10|10|10|10||0|0|0|0|
  156. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  157. |0|0|1|0|0|1|0|0|1|0|0|1|
  158. |***|
  159. |27|22|1|10|0|0|
  160. |F124603.WAV||0|0|1||1|
  161. |Every Prolog command ends with a period.|4255|1830|750|2775||0|0|1|0|
  162. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  163. |0|0|1|0|0|1|0|0|1|0|0|1|
  164. |***|
  165. |28|22|1|1|0|0|
  166. |||0|0|0||1|
  167. ||10|10|10|10||0|0|1|0|
  168. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  169. |0|0|1|0|0|1|0|0|1|0|0|1|
  170. |***|
  171. |29|23|1|1|0|0|
  172. |||0|0|0||1|
  173. ||10|10|10|10||0|0|1|0|
  174. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  175. |0|0|1|0|0|1|0|0|1|0|0|1|
  176. |***|
  177. |30|23|1|20|0|0|
  178. |F124604.WAV||0|0|1||1|
  179. |Prolog's inference engine opens the pizza knowledge base and checks for errors.|6270|3835|915|2775||0|0|3|0|
  180. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  181. |0|0|1|0|0|1|0|0|1|0|0|1|
  182. |***|
  183. |31|23|1|20|0|0|
  184. |F124605.WAV||0|0|1||1|
  185. |The ?- prompt means that Prolog is ready to proceed.|1675|3540|675|2775||0|0|1|0|
  186. |1|2925|3225|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  187. |0|0|1|0|0|1|0|0|1|0|0|1|
  188. |***|
  189. |32|23|1|20|0|0|
  190. |F124606.WAV||0|0|1||1|
  191. |Suppose that you want to know the size of the second pizza in the knowledge base.|1675|3540|915|2775||0|0|0|0|
  192. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  193. |0|0|1|0|0|1|0|0|1|0|0|1|
  194. |***|
  195. |33|23|1|1|0|0|
  196. |||0|0|0||1|
  197. ||10|10|10|10||0|0|3|0|
  198. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  199. |0|0|1|0|0|1|0|0|1|0|0|1|
  200. |***|
  201. |34|24|1|1|0|0|
  202. |||0|0|0||1|
  203. ||10|10|10|10||0|0|0|0|
  204. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  205. |0|0|1|0|0|1|0|0|1|0|0|1|
  206. |***|
  207. |35|25|1|1|0|0|
  208. |||0|0|0||1|
  209. ||10|10|10|10||0|0|0|0|
  210. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  211. |0|0|1|0|0|1|0|0|1|0|0|1|
  212. |***|
  213. |36|26|1|1|0|0|
  214. |||0|0|0||1|
  215. ||10|10|10|10||0|0|0|0|
  216. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  217. |0|0|1|0|0|1|0|0|1|0|0|1|
  218. |***|
  219. |37|27|1|1|0|0|
  220. |||0|0|0||1|
  221. ||10|10|10|10||0|0|0|0|
  222. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  223. |0|0|1|0|0|1|0|0|1|0|0|1|
  224. |***|
  225. |38|28|1|1|0|0|
  226. |||0|0|0||1|
  227. ||10|10|10|10||0|0|0|0|
  228. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  229. |0|0|1|0|0|1|0|0|1|0|0|1|
  230. |***|
  231. |39|28|1|25|0|0|
  232. |F124607.WAV||0|0|1||1|
  233. |This goal directs Prolog to find a fact that has "sizeof" as the predicate and "pizza2" as the first argument.|4555|3585|1140|2775||0|0|1|0|
  234. |1|10|10|10|10|1|1|10|10|10|10|1|1|3060|3300|10|10|1|1|10|10|10|10|1|435|3315|480|3090|
  235. |0|0|1|0|0|1|0|0|1|0|0|1|
  236. |***|
  237. |40|28|1|25|0|0|
  238. |F124608.WAV||0|0|1||1|
  239. |Inches is a variable, so Prolog will attempt to find the value of it in the knowledge base.|3000|4765|870|2775||0|0|3|0|
  240. |1|4770|4275|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  241. |0|0|1|0|0|1|0|0|1|0|0|1|
  242. |***|
  243. |41|28|1|1|0|0|
  244. |||0|0|0||1|
  245. ||10|10|10|10||0|0|3|0|
  246. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  247. |0|0|1|0|0|1|0|0|1|0|0|1|
  248. |***|
  249. |42|29|1|1|0|0|
  250. |||0|0|0||1|
  251. ||10|10|10|10||0|0|3|0|
  252. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  253. |0|0|1|0|0|1|0|0|1|0|0|1|
  254. |***|
  255. |43|29|1|35|0|0|
  256. |F124609.WAV||0|0|1||1|
  257. |Prolog searches the knowledge base for a sizeof predicate that has "pizza2" as the first argument.  This one does not match because it is a fact about pizza1.|1955|3855|1560|2775||0|0|2|0|
  258. |1|3120|6585|30|15|1|1|10|10|10|10|1|1|6015|4095|15|45|1|1|7920|3795|10|10|1|5775|3705|270|2220|
  259. |0|0|1|0|0|1|0|0|1|0|0|1|
  260. |***|
  261. |44|29|1|15|0|0|
  262. |F124610.WAV||0|0|1||1|
  263. |Here is a matching sizeof fact that pertains to pizza2.|1925|3975|570|2775||0|0|2|0|
  264. |1|9600|3780|10|10|1|1|6090|4440|30|15|1|1|6255|3855|15|15|1|1|6075|4425|90|15|1|5790|3930|240|2175|
  265. |0|0|1|0|0|1|0|0|1|0|0|1|
  266. |***|
  267. |45|29|1|1|0|0|
  268. |||0|0|0||1|
  269. ||10|10|10|10||0|0|2|0|
  270. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  271. |0|0|1|0|0|1|0|0|1|0|0|1|
  272. |***|
  273. |46|30|1|1|0|0|
  274. |||0|0|0||1|
  275. ||10|10|10|10||0|0|2|0|
  276. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  277. |0|0|1|0|0|1|0|0|1|0|0|1|
  278. |***|
  279. |47|30|1|15|0|0|
  280. |F124611.WAV||0|0|1||1|
  281. |Prolog takes the value of the second argument ...|8920|4035|630|2370||0|0|1|0|
  282. |1|10275|3870|10|10|1|1|7605|3780|15|15|1|1|7620|3795|10|10|1|1|7590|3900|10|10|1|7470|3930|240|300|
  283. |0|0|1|0|0|1|0|0|1|0|0|1|
  284. |***|
  285. |48|30|1|1|0|0|
  286. |||0|0|0||1|
  287. ||10|10|10|10||0|0|1|0|
  288. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|8640|5220|10|10|
  289. |0|0|1|0|0|1|0|0|1|0|0|1|
  290. |***|
  291. |49|31|1|1|0|0|
  292. |||0|0|0||1|
  293. ||10|10|10|10||0|0|1|0|
  294. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|7995|6105|10|10|
  295. |0|0|1|0|0|1|0|0|1|0|0|1|
  296. |***|
  297. |50|31|1|15|0|0|
  298. |F124612.WAV||0|0|1||1|
  299. |... and assigns it to the variable Inches.|8830|6180|675|1905||0|0|1|0|
  300. |1|9270|7140|15|15|1|1|10|10|10|10|1|1|7620|3915|10|10|1|1|10|10|10|10|1|9075|4875|10|10|
  301. |0|0|1|0|0|1|0|0|1|0|0|1|
  302. |***|
  303. |51|31|1|1|0|0|
  304. |||0|0|0||1|
  305. ||10|10|10|10||0|0|1|0|
  306. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  307. |0|0|1|0|0|1|0|0|1|0|0|1|
  308. |***|
  309. |52|32|1|1|0|0|
  310. |||0|0|0||1|
  311. ||10|10|10|10||0|0|1|0|
  312. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  313. |0|0|1|0|0|1|0|0|1|0|0|1|
  314. |***|
  315. |53|32|1|25|0|0|
  316. |F124613.WAV||0|0|1||1|
  317. |Prolog displays the result here.  The size of the second pizza in the knowledge base is 14 inches.|2665|4200|1050|2685||0|0|1|0|
  318. |1|3870|5595|15|15|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  319. |0|0|1|0|0|1|0|0|1|0|0|1|
  320. |***|
  321. |54|32|1|1|0|0|
  322. |||0|0|0||1|
  323. ||10|10|10|10||0|0|1|0|
  324. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  325. |0|0|1|0|0|1|0|0|1|0|0|1|
  326. |***|
  327. |55|33|1|1|0|0|
  328. |||0|0|0||1|
  329. ||10|10|10|10||0|0|1|0|
  330. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  331. |0|0|1|0|0|1|0|0|1|0|0|1|
  332. |***|
  333. |56|33|1|20|0|0|
  334. |F124614.WAV||0|0|1||1|
  335. |The solution is complete.  Prolog displays another prompt and waits for you to proceed.|1720|5280|1035|2685||0|0|1|0|
  336. |1|5055|6120|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  337. |0|0|1|0|0|1|0|0|1|0|0|1|
  338. |***|
  339. |57|33|1|20|0|0|
  340. |F124615.WAV||0|0|1||1|
  341. |Now suppose that you want to know the sizes of all the pizzas in the knowledge base.|1720|5280|885|2685||0|0|0|0|
  342. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  343. |0|0|1|0|0|1|0|0|1|0|0|1|
  344. |***|
  345. |58|33|1|1|0|0|
  346. |||0|0|0||1|
  347. ||10|10|10|10||0|0|0|0|
  348. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  349. |0|0|1|0|0|1|0|0|1|0|0|1|
  350. |***|
  351. |59|34|1|1|0|0|
  352. |||0|0|0||1|
  353. ||10|10|10|10||0|0|0|0|
  354. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  355. |0|0|1|0|0|1|0|0|1|0|0|1|
  356. |***|
  357. |60|35|1|1|0|0|
  358. |||0|0|0||1|
  359. ||10|10|10|10||0|0|0|0|
  360. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  361. |0|0|1|0|0|1|0|0|1|0|0|1|
  362. |***|
  363. |61|36|1|1|0|0|
  364. |||0|0|0||1|
  365. ||10|10|10|10||0|0|0|0|
  366. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  367. |0|0|1|0|0|1|0|0|1|0|0|1|
  368. |***|
  369. |62|37|1|1|0|0|
  370. |||0|0|0||1|
  371. ||10|10|10|10||0|0|0|0|
  372. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  373. |0|0|1|0|0|1|0|0|1|0|0|1|
  374. |***|
  375. |63|37|1|45|0|0|
  376. |F124616.WAV||0|0|1||1|
  377. |This goal contains two variables, Pizza and Inches.  It directs Prolog to look for any facts containing the sizeof predicate.  The results should list all the pizzas and their sizes.|4345|5280|1830|2685||0|0|1|0|
  378. |1|8805|6060|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  379. |0|0|1|0|0|1|0|0|1|0|0|1|
  380. |***|
  381. |64|37|1|1|0|0|
  382. |||0|0|0||1|
  383. ||10|10|10|10||0|0|1|0|
  384. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  385. |0|0|1|0|0|1|0|0|1|0|0|1|
  386. |***|
  387. |65|38|1|15|0|0|
  388. |F124617.WAV||0|0|1||1|
  389. |Here is a sizeof predicate.|2105|3810|495|2595||0|0|2|0|
  390. |1|10800|3615|15|15|1|1|10|10|10|10|1|1|7860|3645|10|10|1|1|10|10|10|10|1|5820|3720|255|2160|
  391. |0|0|1|0|0|1|0|0|1|0|0|1|
  392. |***|
  393. |66|38|1|1|0|0|
  394. |||0|0|0||1|
  395. ||10|10|10|10||0|0|2|0|
  396. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  397. |0|0|1|0|0|1|0|0|1|0|0|1|
  398. |***|
  399. |67|40|1|1|0|0|
  400. |||0|0|0||1|
  401. ||10|10|10|10||0|0|2|0|
  402. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  403. |0|0|1|0|0|1|0|0|1|0|0|1|
  404. |***|
  405. |68|40|1|20|0|0|
  406. |F124618.WAV||0|0|1||1|
  407. |The pizza name, "pizza1" is assigned to the Pizza variable.|4065|7615|870|2595||0|0|3|1|
  408. |1|8430|6765|10|10|1|1|10|10|10|10|1|1|6825|3660|10|10|1|1|10|10|10|10|1|6600|3735|255|795|
  409. |0|0|1|0|0|1|0|0|1|0|0|1|
  410. |***|
  411. |69|40|1|1|0|0|
  412. |||0|0|0||1|
  413. ||10|10|10|10||0|0|3|1|
  414. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  415. |0|0|1|0|0|1|0|0|1|0|0|1|
  416. |***|
  417. |70|41|1|1|0|0|
  418. |||0|0|0||1|
  419. ||10|10|10|10||0|0|3|1|
  420. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  421. |0|0|1|0|0|1|0|0|1|0|0|1|
  422. |***|
  423. |71|41|1|20|0|0|
  424. |F124619.WAV||0|0|1||1|
  425. |The size of pizza1 is assigned to the Inches variable.|8700|7735|945|1740||0|0|3|0|
  426. |1|10845|5925|15|15|1|1|10|10|10|10|1|1|7710|3645|10|10|1|1|10|10|10|10|1|7455|3705|270|345|
  427. |0|0|1|0|0|1|0|0|1|0|0|1|
  428. |***|
  429. |72|41|1|1|0|0|
  430. |||0|0|0||1|
  431. ||10|10|10|10||0|0|3|0|
  432. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  433. |0|0|1|0|0|1|0|0|1|0|0|1|
  434. |***|
  435. |73|42|1|1|0|0|
  436. |||0|0|0||1|
  437. ||10|10|10|10||0|0|3|0|
  438. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  439. |0|0|1|0|0|1|0|0|1|0|0|1|
  440. |***|
  441. |74|42|1|15|0|0|
  442. |F124620.WAV||0|0|1||1|
  443. |The first results are displayed.|3610|6120|690|1545||0|0|1|0|
  444. |1|4350|5985|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  445. |0|0|1|0|0|1|0|0|1|0|0|1|
  446. |***|
  447. |75|42|1|1|0|0|
  448. |||0|0|0||1|
  449. ||10|10|10|10||0|0|0|0|
  450. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  451. |0|0|1|0|0|1|0|0|1|0|0|1|
  452. |***|
  453. |76|44|1|1|0|0|
  454. |||0|0|0||1|
  455. ||10|10|10|10||0|0|0|0|
  456. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  457. |0|0|1|0|0|1|0|0|1|0|0|1|
  458. |***|
  459. |77|44|1|20|0|0|
  460. |F124621.WAV||0|0|1||1|
  461. |Prolog checks the next rule.  It is a sizeof rule, so it matches the goal.|2135|4005|900|2595||0|0|2|0|
  462. |1|3585|3645|10|10|1|1|10|10|10|10|1|1|6075|3825|10|10|1|1|10|10|10|10|1|5760|3915|240|2235|
  463. |0|0|1|0|0|1|0|0|1|0|0|1|
  464. |***|
  465. |78|44|1|1|0|0|
  466. |||0|0|0||1|
  467. ||10|10|10|10||0|0|2|0|
  468. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  469. |0|0|1|0|0|1|0|0|1|0|0|1|
  470. |***|
  471. |79|45|1|1|0|0|
  472. |||0|0|0||1|
  473. ||10|10|10|10||0|0|2|0|
  474. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  475. |0|0|1|0|0|1|0|0|1|0|0|1|
  476. |***|
  477. |80|45|1|15|0|0|
  478. |F124622.WAV||0|0|1||1|
  479. |Prolog puts the name of the pizza here.|4785|7690|765|2010||0|0|3|1|
  480. |1|5175|7200|10|10|1|1|10|10|10|10|1|1|7020|3840|10|10|1|1|10|10|10|10|1|6600|3900|285|855|
  481. |0|0|1|0|0|1|0|0|1|0|0|1|
  482. |***|
  483. |81|45|1|1|0|0|
  484. |||0|0|0||1|
  485. ||10|10|10|10||0|0|3|1|
  486. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  487. |0|0|1|0|0|1|0|0|1|0|0|1|
  488. |***|
  489. |82|46|1|1|0|0|
  490. |||0|0|0||1|
  491. ||10|10|10|10||0|0|3|1|
  492. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  493. |0|0|1|0|0|1|0|0|1|0|0|1|
  494. |***|
  495. |83|46|1|15|0|0|
  496. |F124623.WAV||0|0|1||1|
  497. |It assigns the size to the Inches variable ...|8730|7765|690|2250||0|0|3|0|
  498. |1|9885|7155|10|10|1|1|10|10|10|10|1|1|7590|3885|15|15|1|1|10|10|10|10|1|7455|3900|255|345|
  499. |0|0|1|0|0|1|0|0|1|0|0|1|
  500. |***|
  501. |84|46|1|1|0|0|
  502. |||0|0|0||1|
  503. ||10|10|10|10||0|0|3|0|
  504. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  505. |0|0|1|0|0|1|0|0|1|0|0|1|
  506. |***|
  507. |85|47|1|1|0|0|
  508. |||0|0|0||1|
  509. ||10|10|10|10||0|0|3|0|
  510. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  511. |0|0|1|0|0|1|0|0|1|0|0|1|
  512. |***|
  513. |86|47|1|15|0|0|
  514. |F124624.WAV||0|0|1||1|
  515. |... and displays the second set of results.|3085|7200|645|2175||0|0|1|0|
  516. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  517. |0|0|1|0|0|1|0|0|1|0|0|1|
  518. |***|
  519. |87|47|1|25|0|0|
  520. |F124625.WAV||0|0|1||1|
  521. |The prompt lets you know that the solution is complete and all the results have been displayed.|1735|7125|975|2925||0|0|1|1|
  522. |1|8130|6300|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  523. |0|0|1|0|0|1|0|0|1|0|0|1|
  524. |***|
  525. |88|47|1|1|0|0|
  526. |||0|0|0||1|
  527. ||10|10|10|10||0|0|1|1|
  528. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  529. |0|0|1|0|0|1|0|0|1|0|0|1|
  530. |***|
  531. |89|47|1|1|0|0|
  532. |CLOSE1.MID||0|0|1||1|
  533. ||10|10|10|10|ANEND.BMP|4500|6975|4|1|
  534. |1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|1|10|10|10|10|1|10|10|10|10|
  535. |0|0|1|0|0|1|0|0|1|0|0|1|
  536.